Development of Program Model for Enhancing Creativity through SRD Program

Facilitating Facilitators: Enhancing PBL through a Structured Facilitator Development Program

Program Development through Proof Transformation

We present a methodology for deriving veri ed programs that combines theorem proving and proof transformation steps. It extends the paradigm employed in systems like NuPrl where a program is developed and veri ed through the proof of the speci cation in a constructive type theory. We illustrate our methodology through an extended example | a derivation of Warshall's algorithm for graph reachabi...

Creativity in hand hygiene program

Introduction / objectives During SARS, high compliance in healthcare workers to hand hygiene was primarily driven by fear.However, the post-SARS period confirmed that this practice was not sustainable.At the Singapore General Hospital, a 1600bedded acute tertiary care hospital, the hand hygiene program was revised in late 2006 following Singapore’s signing of the pledge to the WHO “Clean Care i...

Development of Computer Education Program Using LOGO Programming and Fractals Learning for Enhancing Creativity: Focus on Creative Problem-Solving

The paper was aimed to investigate the effect of the LOGO programing language on the creativity development of elementary school students. And, this paper analyzed the statuses of STEAM education. And, suggested factors to realize successful STEAM education materials. An examination of the research on LOGO indicates that research is being amply conducted overseas on LOGO and thinking ability, p...

Program Refactoring, Program Synthesis, and Model-Driven Development

Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. However, they are all architectural metaprogramming technologies as they treat programs as values and use functions (a.k.a. transformations) to map programs to other programs. In this paper, I explore their underlying connections by reviewing recent advances in ea...